kw.\*:("Pi calcul linéaire")
Results 1 to 1 of 1
Selection :
A uniform type structure for secure information flowHONDA, Kohei; YOSHIDA, Nobuko.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 81-92, issn 1523-2867Conference Paper